/* DO NOT EDIT! GENERATED AUTOMATICALLY! */
/* ISO C <ctype.h> like properties of Unicode characters.  */
/* Generated automatically by gen-uni-tables.c for Unicode 14.0.0.  */

/* Copyright (C) 2000-2022 Free Software Foundation, Inc.

   This file is free software.
   It is dual-licensed under "the GNU LGPLv3+ or the GNU GPLv2+".
   You can redistribute it and/or modify it under either
     - the terms of the GNU Lesser General Public License as published
       by the Free Software Foundation, either version 3, or (at your
       option) any later version, or
     - the terms of the GNU General Public License as published by the
       Free Software Foundation; either version 2, or (at your option)
       any later version, or
     - the same dual license "the GNU LGPLv3+ or the GNU GPLv2+".

   This file is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   Lesser General Public License and the GNU General Public License
   for more details.

   You should have received a copy of the GNU Lesser General Public
   License and of the GNU General Public License along with this
   program.  If not, see <https://www.gnu.org/licenses/>.  */

#define header_0 16
#define header_2 9
#define header_3 127
#define header_4 15
static const
struct
  {
    int header[1];
    int level1[17];
    short level2[6 << 7];
    unsigned int level3[87 << 4];
  }
u_is_graph =
{
  { 17 },
  {
       18 * sizeof (int) / sizeof (short) +     0,
       18 * sizeof (int) / sizeof (short) +   128,
       18 * sizeof (int) / sizeof (short) +   256,
       18 * sizeof (int) / sizeof (short) +   384,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       18 * sizeof (int) / sizeof (short) +   512,
       18 * sizeof (int) / sizeof (short) +   640,
       18 * sizeof (int) / sizeof (short) +   640
  },
  {
       18 +   768 * sizeof (short) / sizeof (int) +     0,
       18 +   768 * sizeof (short) / sizeof (int) +    16,
       18 +   768 * sizeof (short) / sizeof (int) +    32,
       18 +   768 * sizeof (short) / sizeof (int) +    48,
       18 +   768 * sizeof (short) / sizeof (int) +    64,
       18 +   768 * sizeof (short) / sizeof (int) +    80,
       18 +   768 * sizeof (short) / sizeof (int) +    96,
       18 +   768 * sizeof (short) / sizeof (int) +   112,
       18 +   768 * sizeof (short) / sizeof (int) +   128,
       18 +   768 * sizeof (short) / sizeof (int) +   144,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   176,
       18 +   768 * sizeof (short) / sizeof (int) +   192,
       18 +   768 * sizeof (short) / sizeof (int) +   208,
       18 +   768 * sizeof (short) / sizeof (int) +   224,
       18 +   768 * sizeof (short) / sizeof (int) +   240,
       18 +   768 * sizeof (short) / sizeof (int) +   256,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   272,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   288,
       18 +   768 * sizeof (short) / sizeof (int) +   304,
       18 +   768 * sizeof (short) / sizeof (int) +   320,
       18 +   768 * sizeof (short) / sizeof (int) +   336,
       18 +   768 * sizeof (short) / sizeof (int) +   352,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   368,
       18 +   768 * sizeof (short) / sizeof (int) +   384,
       18 +   768 * sizeof (short) / sizeof (int) +   400,
       18 +   768 * sizeof (short) / sizeof (int) +   416,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   432,
       -1,
       -1,
       -1,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   448,
       18 +   768 * sizeof (short) / sizeof (int) +   464,
       18 +   768 * sizeof (short) / sizeof (int) +   480,
       18 +   768 * sizeof (short) / sizeof (int) +   496,
       18 +   768 * sizeof (short) / sizeof (int) +   512,
       18 +   768 * sizeof (short) / sizeof (int) +   528,
       18 +   768 * sizeof (short) / sizeof (int) +   544,
       18 +   768 * sizeof (short) / sizeof (int) +   560,
       18 +   768 * sizeof (short) / sizeof (int) +   576,
       18 +   768 * sizeof (short) / sizeof (int) +   592,
       18 +   768 * sizeof (short) / sizeof (int) +   608,
       18 +   768 * sizeof (short) / sizeof (int) +   624,
       18 +   768 * sizeof (short) / sizeof (int) +   640,
       18 +   768 * sizeof (short) / sizeof (int) +   656,
       18 +   768 * sizeof (short) / sizeof (int) +   672,
       18 +   768 * sizeof (short) / sizeof (int) +   688,
       18 +   768 * sizeof (short) / sizeof (int) +   704,
       18 +   768 * sizeof (short) / sizeof (int) +   720,
       18 +   768 * sizeof (short) / sizeof (int) +   736,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   752,
       18 +   768 * sizeof (short) / sizeof (int) +   768,
       -1,
       -1,
       -1,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +   784,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   800,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   816,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   832,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +   848,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   864,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   880,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +   896,
       18 +   768 * sizeof (short) / sizeof (int) +   912,
       18 +   768 * sizeof (short) / sizeof (int) +   928,
       -1,
       -1,
       -1,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +   944,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +   960,
       18 +   768 * sizeof (short) / sizeof (int) +   976,
       18 +   768 * sizeof (short) / sizeof (int) +   992,
       18 +   768 * sizeof (short) / sizeof (int) +  1008,
       18 +   768 * sizeof (short) / sizeof (int) +  1024,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +  1040,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +  1056,
       18 +   768 * sizeof (short) / sizeof (int) +  1072,
       18 +   768 * sizeof (short) / sizeof (int) +  1088,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +  1104,
       18 +   768 * sizeof (short) / sizeof (int) +  1120,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +  1136,
       18 +   768 * sizeof (short) / sizeof (int) +  1152,
       18 +   768 * sizeof (short) / sizeof (int) +  1168,
       18 +   768 * sizeof (short) / sizeof (int) +  1184,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +  1200,
       18 +   768 * sizeof (short) / sizeof (int) +  1216,
       18 +   768 * sizeof (short) / sizeof (int) +  1232,
       -1,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +  1248,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +  1264,
       18 +   768 * sizeof (short) / sizeof (int) +  1280,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +  1296,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +  1312,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +  1328,
       -1,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +  1344,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +  1360,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +   160,
       18 +   768 * sizeof (short) / sizeof (int) +  1376
  },
  {
    0x00000000U, 0xFFFFFFFEU, 0xFFFFFFFFU, 0x7FFFFFFFU,
    0x00000000U, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFCFFFFFFU,
    0xFFFFD7F0U, 0xFFFFFFFBU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFEFFFFU, 0xFE7FFFFFU, 0xFFFFFFFFU,
    0xFFFEE7FFU, 0xFFFFFFFFU, 0xFFFF00FFU, 0x001F87FFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFBFFFU, 0xFFFFFFFFU, 0xFFFFE7FFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0x0003FFFFU, 0xFFFFFFFFU, 0xE7FFFFFFU,
    0xFFFFFFFFU, 0x7FFF3FFFU, 0x4FFFFFFFU, 0xFFFF07FFU,
    0xFF037FFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFF99FEFU, 0xF3C5FDFFU, 0xB080799FU, 0x7FFFFFCFU,
    0xFFF987EEU, 0xD36DFDFFU, 0x5E023987U, 0x007FFFC0U,
    0xFFFBBFEEU, 0xF3EDFDFFU, 0x00013BBFU, 0xFE03FFCFU,
    0xFFF99FEEU, 0xF3EDFDFFU, 0xB0E0399FU, 0x00FFFFCFU,
    0xD63DC7ECU, 0xC3FFC718U, 0x00813DC7U, 0x07FFFFC0U,
    0xFFFDDFFFU, 0xF3FFFDFFU, 0x27603DDFU, 0xFF80FFCFU,
    0xFFFDDFFFU, 0xF3EFFDFFU, 0x60603DDFU, 0x0006FFCFU,
    0xFFFDDFFFU, 0xFFFFFFFFU, 0xFFF0FDDFU, 0xFFFFFFCFU,
    0xFC7FFFEEU, 0x2FFBFFFFU, 0xFF5F847FU, 0x001CFFC0U,
    0xFFFFFFFEU, 0x87FFFFFFU, 0x0FFFFFFFU, 0x00000000U,
    0xFFFFF7D6U, 0x3FFFFFAFU, 0xF3FF3F5FU, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFEFFU, 0xFFFE1FFFU,
    0xFEFFFFFFU, 0xDFFFFFFFU, 0x07FFDFFFU, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFF20BFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x3D7F3DFFU, 0xFFFFFFFFU,
    0xFFFF3DFFU, 0x7F3DFFFFU, 0xFF7FFF3DU, 0xFFFFFFFFU,
    0xFF3DFFFFU, 0xFFFFFFFFU, 0xE7FFFFFFU, 0x1FFFFFFFU,
    0x03FFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x3F3FFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0x1FFFFFFEU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x01FFFFFFU,
    0x803FFFFFU, 0x007FFFFFU, 0x000FFFFFU, 0x000DDFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x3FFFFFFFU, 0x03FF03FFU,
    0x03FFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x01FFFFFFU,
    0xFFFFFFFFU, 0xFFFF07FFU, 0xFFFFFFFFU, 0x003FFFFFU,
    0x7FFFFFFFU, 0x0FFF0FFFU, 0xFFFFFFF1U, 0x001F3FFFU,
    0xFFFFFFFFU, 0xFFFF0FFFU, 0xC7FF03FFU, 0xFFFFFFFFU,
    0xCFFFFFFFU, 0xFFFFFFFFU, 0x7FFFFFFFU, 0x9FFFFFFFU,
    0x03FF03FFU, 0xFFFF3FFFU, 0x00007FFFU, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFF1FFFU, 0x7FFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xF00FFFFFU,
    0xFFFFFFFFU, 0xF8FFFFFFU, 0xFFFFE3FFU, 0xFFFFFFFFU,
    0xFFFF01FFU, 0xE7FFFFFFU, 0xFFFF00FFU, 0x07FFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0x3F3FFFFFU, 0xFFFFFFFFU, 0xAAFF3F3FU, 0x3FFFFFFFU,
    0xFFFFFFFFU, 0xFFDFFFFFU, 0xEFCFFFDFU, 0x7FDCFFFFU,
    0xFFFFF880U, 0xFFFFFCFFU, 0x7FFFFFFFU, 0xFFF3FFDFU,
    0x1FFF7FFFU, 0xFFFFFFFFU, 0xFFFF0001U, 0x0001FFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFF0FFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0x0000007FU, 0x000007FFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFCFFFFFU,
    0xFFBFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFE0FFFFFU,
    0xFFFFFFFFU, 0xFFFF20BFU, 0xFFFFFFFFU, 0x800180FFU,
    0x007FFFFFU, 0x7F7F7F7FU, 0x7F7F7F7FU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x3FFFFFFFU, 0x00000000U,
    0xFBFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x000FFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x003FFFFFU, 0x0FFF0000U,
    0xFFFFFFFEU, 0xFFFFFFFFU, 0xFFFFFFFEU, 0xFFFFFFFFU,
    0xFE7FFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFE0U, 0xFFFEFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFF7FFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFF000FU,
    0x7FFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFF1FFFU, 0xFFFFFFFFU, 0xFFFF007FU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0x00000FFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x00FFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x03EB07FFU, 0xFFFC0000U,
    0xFFFFFFFFU, 0x03FF1FFFU, 0xFFFFFFFFU, 0x00FFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x03FFC03FU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x800FFFFFU, 0x1FFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xC3FFBFFFU, 0x7FFFFFFFU,
    0xFFFFFFFFU, 0x007FFFFFU, 0xF3FF3FFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xF8000007U, 0x007FFFFFU,
    0x007E7E7EU, 0xFFFF7F7FU, 0xFFFFFFFFU, 0xFFFF0FFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x03FF3FFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFF000FU, 0xFFFFF87FU, 0x0FFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFF3FFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x03FFFFFFU, 0x00000000U,
    0xE0F8007FU, 0x5F7FFFFFU, 0xFFFFFFDBU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFF80007U, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFCFFFFU, 0xFFFFFFFFU, 0x000080FFU, 0xFFFF0000U,
    0x03FFFFFFU, 0xFFFFFFFFU, 0xFFF7FFFFU, 0xFFDF0F7FU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x9FFFFFFFU,
    0xFFFFFFFEU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0x7FFFFFFFU, 0x1CFCFCFCU, 0x3E007F7FU,
    0xFFFFEFFFU, 0xB7FFFF7FU, 0x3FFF3FFFU, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x07FFFFFFU,
    0xFFFFFF87U, 0xFF8FFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0x1FFF7FFFU, 0x00000001U, 0xFFFF0000U, 0x3FFFFFFFU,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x1FFFFFFFU, 0xFFFFFFFFU, 0x0001FFFFU, 0x0FFFFFFFU,
    0xFFFFFFFFU, 0xFFFFE00FU, 0xFFFF07FFU, 0x07FFFFFFU,
    0xBFFFFFFFU, 0xFFFFFFFFU, 0x003FFF0FU, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0x3FFFFFFFU, 0xFFFF03FFU, 0xFF0FFFFFU, 0x0FFFFFFFU,
    0xFFFFFFFFU, 0xFFFF00FFU, 0xFFFFFFFFU, 0xF7FF800FU,
    0xFFB7F7FFU, 0x1BFBFFFBU, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0x007FFFFFU, 0x003FFFFFU, 0x000000FFU,
    0xFFFFFFBFU, 0x07FDFFFFU, 0x00000000U, 0x00000000U,
    0xFFFFFD3FU, 0x91BFFFFFU, 0xFFBFFFFFU, 0xFFFFFFFFU,
    0x7FFFFFFFU, 0x0000FF80U, 0x00000000U, 0xF837FFFFU,
    0x8FFFFFFFU, 0x83FFFFFFU, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xF0FFFFFFU, 0xFFFCFFFFU, 0xFFFFFFFFU,
    0xFEEFF06FU, 0x873FFFFFU, 0x01FF01FFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0x00000000U, 0xFFFFFFFFU, 0x007FF87FU,
    0xFFFFFFFFU, 0xFE3FFFFFU, 0xFF3FFFFFU, 0xFF07FFFFU,
    0x1E03FFFFU, 0x0000FE00U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x000001FFU, 0x00000000U,
    0xFFFFFFFFU, 0x0007FFFFU, 0xFFFFFFFFU, 0xFC07FFFFU,
    0xFFFFFFFFU, 0x03FF00FFU, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x7FFFFFFFU,
    0xFFFFFFFFU, 0x00033BFFU, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFF00FFU, 0x03FFFFFFU, 0xFFFF0000U,
    0x000003FFU, 0xFFFF0000U, 0x00000FFFU, 0x007FFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFC3FFFU, 0x803FFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFF2007U, 0x03FF01FFU,
    0xFFFFFFFFU, 0xFFDFFFFFU, 0xFFFF00FFU, 0x007FFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x001FFFFEU,
    0xFFFBFFFFU, 0x7FFFFFFFU, 0x00000000U, 0x00000000U,
    0xBFFFBD7FU, 0xFFFF03FFU, 0xFFFFFFFFU, 0x03FF07FFU,
    0xFFF99FEFU, 0xFBEDFDFFU, 0xE081399FU, 0x001F1FCFU,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xEFFFFFFFU, 0x00000003U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x03FF00FFU, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFF3FFFFFU, 0x3FFFFFFFU, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x03FF001FU, 0x00001FFFU,
    0xFFFFFFFFU, 0x03FFFFFFU, 0x000003FFU, 0x00000000U,
    0xE7FFFFFFU, 0xFFFF0FFFU, 0x0000007FU, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0x0FFFFFFFU, 0x00000000U, 0x00000000U,
    0x00000000U, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x8007FFFFU,
    0xFF6FF27FU, 0xF9BFFFFFU, 0x03FF007FU, 0x00000000U,
    0x00000000U, 0xFFFFFCFFU, 0xFCFFFFFFU, 0x0000001FU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFF00FFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFF0007U, 0xFFFFFFFFU, 0x01FFFFFFU,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFDFFU, 0xFF7FFFFFU, 0xFFFF003FU, 0xFFFF1FFFU,
    0xFFFCFFFFU, 0x007FFEFFU, 0x00000000U, 0x00000000U,
    0xFFFFFB7FU, 0xB47FFFFFU, 0x03FF00FFU, 0xFFFFFDBFU,
    0x01FB7FFFU, 0x000003FFU, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x01FFFFFFU,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00010000U, 0xFFFFFFFFU, 0x8003FFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0x03FFFFFFU, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x001F7FFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x0000000FU, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFF0000U, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x0007FFFFU,
    0xFFFFFFFFU, 0x01FF7FFFU, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x0000007FU, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0x01FFFFFFU, 0x7FFFFFFFU, 0xFFFFC3FFU,
    0xFFFFFFFFU, 0x7FFFFFFFU, 0xFFFF03FFU, 0x003F3FFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFBFF003FU, 0xE0FFFFFBU,
    0x0000FFFFU, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0x07FFFFFFU, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFF87FFU, 0xFFFFFFFFU,
    0xFFFF80FFU, 0x00000000U, 0x00000000U, 0x0003001FU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x00FFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x003FFFFFU, 0x00000000U,
    0x000001FFU, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x6FEF0000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0x00000007U, 0x00070000U, 0xFFFF00F0U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x0FFFFFFFU,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x1FFF07FFU,
    0xF3FF01FFU, 0x0000000FU, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFF3FFFU, 0xFFFF007FU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x0000000FU, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x003FFFFFU,
    0xFFFFFFFFU, 0xFFFFFE7FU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x000007FFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x0000003FU, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x000FFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x007FFFFFU, 0x01FFFFFFU,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFDFFFFFU, 0xFFFFFFFFU,
    0xDFFFFFFFU, 0xEBFFDE64U, 0xFFFFFFEFU, 0xFFFFFFFFU,
    0xDFDFE7BFU, 0x7BFFFFFFU, 0xFFFDFC5FU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFF3FU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFCFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xF8000FFFU, 0x0000FFFEU, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x7FFFFFFFU, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xF9FFFF7FU, 0x000007DBU, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0x3FFF1FFFU, 0x0000C3FFU, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFF0000U, 0x00007FFFU, 0xFFFFFFFFU, 0x83FFFFFFU,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x7FFF6F7FU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x007FFF9FU, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xC3FF0FFFU, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0xFFFE0000U,
    0xFFFFFFFFU, 0x001FFFFFU, 0x00000000U, 0x00000000U,
    0xFFFFFFFEU, 0x3FFFFFFFU, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFEFU, 0x0AF7FE96U, 0xAA96EA84U, 0x5EF7F796U,
    0x0FFFFBFFU, 0x0FFFFBEEU, 0x00000000U, 0x00030000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFF0FFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0x000FFFFFU, 0xFFFE7FFFU, 0xFFFEFFFEU, 0x003FFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0x00003FFFU, 0x00000000U, 0xFFFFFFC0U,
    0xFFFF0007U, 0x0FFFFFFFU, 0x000301FFU, 0x0000003FU,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xE0FFFFFFU, 0x1FFF1FFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x000FFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x01FFFFFFU, 0x00010FFFU,
    0xFFFF0FFFU, 0xFFFFFFFFU, 0x03FF00FFU, 0xFFFFFFFFU,
    0xFFFF00FFU, 0x00033FFFU, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x000FFFFFU, 0x1F1F3FFFU,
    0xFFFF007FU, 0x07FF1FFFU, 0x03FF003FU, 0x007F00FFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFF7FFFFU, 0xFFFFFFFFU, 0x000007FFU, 0x03FF0000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0x01FFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0x3FFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFF0003U, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x00000001U,
    0x3FFFFFFFU, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0x000007FFU, 0x00000000U,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0x00000002U, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x0000FFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
    0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0x3FFFFFFFU
  }
};
